nLab Martín Escardó

• webpage

Selected writings

On synthetic topology:

• Martín Escardó, Synthetic topology of data types and classical spaces [pdf]

• Martín Escardó, The topology of Seemingly impossible functional programs (2012) [pdf]

On exact real computer arithmetic:

• Dave Plume (supervised by Martín Escardó, Alex Simpson): A Calculator for Exact Real Number Computation, University of Edinburgh (1998) [web]

On differential calculus via coinduction:

• Martín Escardó, Duško Pavlović: Calculus in coinductive form, in Proceedings of Thirteenth Annual IEEE Symposium on Logic in Computer Science (1998) 408-417 [doi:10.1109/LICS.1998.705675, pdf]

On cartesian closed convenient categories of topological spaces, such as compactly generated topological spaces:

• Martín Escardó, Jimmie Lawson, Alex Simpson, Comparing Cartesian closed categories of (core) compactly generated spaces, Topology and its Applications Volume 143, Issues 1–3, 28 August 2004, Pages 105-145 (doi:10.1016/j.topol.2004.02.011)

On the exponential law for spaces:

• Martín Escardó, Reinhold Heckmann, Topologies of spaces of continuous functions (2001) $[$pdf, pdf$]$

On Hedberg's theorem:

• Nicolai Kraus, Martin Escardo, Thierry Coquand , Thorsten Altenkirch, Generalizations of Hedberg’s theorem, in M. Hasegawa (ed.): TLCA 2013, LNCS 7941, pp. 173-188. Springer, Heidelberg 2013. (pdf)

On compactness and stable closure:

• Martín Escardó, Intersections of compactly many open sets are open, 2009 (pdf)

On weakly constant functions and propositional truncation in homotopy type theory:

• Nicolai Kraus, Martín Escardó, Thierry Coquand, Thorsten Altenkirch, Notions of Anonymous Existence in Martin-Löf Type Theory, Logical Methods in Computer Science 13 1 [doi:10.23638/LMCS-13(1:15)2017, arXiv:1610.03346]

On injective objects in homotopy type theory:

• Martín Escardó, Injectives types in univalent mathematics (arXiv:1903.01211)

On homotopy type theory and univalent foundations of mathematics in/with Agda:

• Martín Hötzel Escardó, Introduction to Univalent Foundations of Mathematics with Agda [arXiv:1911.00580, webpage]

On the selection monad:

• Martín Escardó and Paulo Oliva, Selection Functions, Bar Recursion, and Backward Induction, (pdf)

• Martín Escardó and Paulo Oliva, What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common, (pdf)

• Martín Escardó and Paulo Oliva, The Peirce translation, Annals of Pure and Applied Logic, 163(6):681–692, 2012, (pdf).

On domain theory in homotopy type theory/univalent foundations (mathematics presented in HoTT):

• Tom de Jong, Martín Hötzel Escardó, Domain Theory in Constructive and Predicative Univalent Foundations, in: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, LIPIcs proceedings 183, 2021 (doi:10.4230/LIPIcs.CSL.2021.28, arXiv:2008.01422)

category: people